Dualities in full homomorphisms

نویسندگان

  • Richard N. Ball
  • Jaroslav Nesetril
  • Ales Pultr
چکیده

In this paper we study dualities of graphs and, more generally, relational structures with respect to full homomorphisms, that is, mappings that are both edgeand non-edge-preserving. The research was motivated, a.o., by results from logic (concerning first order definability) and Constraint Satisfaction Problems. We prove that for any finite set of objects B (finite relational structures) there is a finite duality with B to the left. It appears that surprising richness of these dualities leads to interesting problems of Ramsey type; they are which are explicitly analyzed in the simplest case of graphs.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Finite Dualities, in Particular in Full Homomorphisms

This paper is a survey of several results concerning finite dualities, a special case of the famous Constraint Satisfaction Problem (CSP). In CSP, the point is to characterize a class C of objects X determined by constraints represented by the requirement of the existence of structure preserving mappings from X into special ones. In a finite duality, such a class C is characterized by the non-e...

متن کامل

Homomorphisms of random paths

We study homomorphisms between randomly directed paths and give estimates on the probability of the existence of such homomorphism. We show that a random path is a core with positive probability. We apply our results in the investigation of homomorphism dualities, the most natural situation when a homomorphism (or Constraint Satisfaction) problem is in coNP.

متن کامل

Heegaard Floer Homology as Morphism Spaces

In this paper we prove another pairing theorem for bordered Floer homology. Unlike the original pairing theorem, this one is stated in terms of homomorphisms, not tensor products. The present formulation is closer in spirit to the usual TQFT framework, and allows a more direct comparison with Fukaya-categorical constructions. The result also leads to various dualities in bordered Floer homology.

متن کامل

Dualities for Constraint Satisfaction Problems

In a nutshell, a duality for a constraint satisfaction problem equates the existence of one homomorphism to the non-existence of other homomorphisms. In this survey paper, we give an overview of logical, combinatorial, and algebraic aspects of the following forms of duality for constraint satisfaction problems: finite duality, bounded pathwidth duality, and bounded treewidth duality.

متن کامل

Universal Structures with Forbidden Homomorphisms

We relate the existence problem of universal objects to the properties of corresponding enriched categories (lifts or expansions). In particular, extending earlier results, we prove that for every regular set F of finite connected structures there exists a (countable) ω-categorical universal structure U for the class Forbh(F) (of all countable structures not containing any homomorphic image of ...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:
  • Eur. J. Comb.

دوره 31  شماره 

صفحات  -

تاریخ انتشار 2010